| Name | # Files | Name | # Files | Name | # Files | ||
|---|---|---|---|---|---|---|---|
| figures | 19 | HTML extensions (lower case) | 17 | HTML extensions (upper case) | 17 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Read me | Text File | 81 | 3KB | 1995-12-04 |
| use.html | Hypertext Markup Language File | 371 | 13KB | 1995-12-04 |
| What's new in release 13 | Text File | 27 | 972b | 1995-12-04 |